home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
lisp
/
kcl
/
kcl.lha
/
cmpnew
/
cmpopt.db
< prev
next >
Wrap
Text File
|
1986-05-22
|
25KB
|
674 lines
;;; CMPOPT.DB Data base for open coding
;;;
;;; (C) Copyright Taiichi Yuasa and Masami Hagiya, 1984. All rights reserved.
;;; (definline property return-type side-effect-p new-object-p name arg-types
;;; body)
(definline inline-always boolean nil nil null (t)
"#0==Cnil")
(definline inline-always boolean nil nil symbolp (t)
"type_of(#0)==t_symbol")
(definline inline-always boolean nil nil atom (t)
"type_of(#0)!=t_cons")
(definline inline-always boolean nil nil consp (t)
"type_of(#0)==t_cons")
(definline inline-always boolean nil nil listp (t)
"type_of(#0)==t_cons||#0==Cnil")
(definline inline-always boolean nil nil numberp (t)
"type_of(#0)==t_fixnum||
type_of(#0)==t_bignum||
type_of(#0)==t_ratio||
type_of(#0)==t_shortfloat||
type_of(#0)==t_longfloat||
type_of(#0)==t_complex")
(definline inline-always boolean nil nil integerp (t)
"type_of(#0)==t_fixnum||type_of(#0)==t_bignum")
;(definline inline-always boolean nil nil rationalp (t)
; "type_of(#0)==t_fixnum||
;type_of(#0)==t_bignum||
;type_of(#0)==t_ratio")
(definline inline-always boolean nil nil floatp (t)
"type_of(#0)==t_shortfloat||type_of(#0)==t_longfloat")
;(definline inline-always boolean nil nil complexp (t)
; "type_of(#0)==t_complex")
(definline inline-always boolean nil nil characterp (t)
"type_of(#0)==t_character")
(definline inline-always boolean nil nil stringp (t)
"type_of(#0)==t_string")
;(definline inline-always boolean nil nil bit-vector-p (t)
; "type_of(#0)==t_bitvector")
(definline inline-always boolean nil nil vectorp (t)
"type_of(#0)==t_vector||
type_of(#0)==t_string||
type_of(#0)==t_bitvector")
(definline inline-always boolean nil nil arrayp (t)
"type_of(#0)==t_array||
type_of(#0)==t_vector||
type_of(#0)==t_string||
type_of(#0)==t_bitvector")
;(definline inline-always boolean nil nil compiled-function-p (t)
; "type_of(#0)==t_cfun||type_of(#0)==t_cclosure")
(definline inline-always boolean nil nil keywordp (t)
"(type_of(#0)==t_symbol&&(#0)->s.s_hpack==keyword_package)")
(definline inline-always boolean nil nil eq (t t)
"#0==#1")
(definline inline-always boolean nil nil eq (fixnum fixnum)
"0")
(definline inline-always boolean nil nil eql (t t)
"eql(#0,#1)")
(definline inline-always boolean nil nil eql (fixnum fixnum)
"(#0)==(#1)")
(definline inline-always boolean nil nil equal (t t)
"equal(#0,#1)")
(definline inline-always boolean nil nil equal (fixnum fixnum)
"(#0)==(#1)")
(definline inline-always boolean nil nil equalp (t t)
"equalp(#0,#1)")
(definline inline-always boolean nil nil equalp (fixnum fixnum)
"(#0)==(#1)")
(definline inline-safe boolean nil nil endp (t)
"endp(#0)")
(definline inline-unsafe boolean nil nil endp (t)
"#0==Cnil")
(definline inline-unsafe boolean nil nil boundp (t)
"(#0)->s.s_dbind!=OBJNULL")
(definline inline-always boolean nil nil not (t)
"(#0)==Cnil")
;;;; coercion
(definline inline-always fixnum nil nil char-code (character)
"#0")
(definline inline-always character nil nil code-char (fixnum)
"#0")
(definline inline-always long-float nil nil float (fixnum-float)
"((longfloat)(#0))")
(definline inline-always short-float nil nil float (fixnum-float)
"((shortfloat)(#0))")
(definline inline-always t nil t string (t)
"coerce_to_string(#0)")
(definline inline-always fixnum nil nil truncate (fixnum-float)
"(fixnum)(#0)")
;;;; list manipulation functions
(definline inline-safe t nil nil car (t)
"car(#0)")
(definline inline-safe t nil nil cdr (t)
"cdr(#0)")
(definline inline-safe t nil nil caar (t)
"caar(#0)")
(definline inline-safe t nil nil cadr (t)
"cadr(#0)")
(definline inline-safe t nil nil cdar (t)
"cdar(#0)")
(definline inline-safe t nil nil cddr (t)
"cddr(#0)")
(definline inline-safe t nil nil caaar (t)
"caaar(#0)")
(definline inline-safe t nil nil caadr (t)
"caadr(#0)")
(definline inline-safe t nil nil cadar (t)
"cadar(#0)")
(definline inline-safe t nil nil caddr (t)
"caddr(#0)")
(definline inline-safe t nil nil cdaar (t)
"cdaar(#0)")
(definline inline-safe t nil nil cdadr (t)
"cdadr(#0)")
(definline inline-safe t nil nil cddar (t)
"cddar(#0)")
(definline inline-safe t nil nil cdddr (t)
"cdddr(#0)")
(definline inline-safe t nil nil caaaar (t)
"caaaar(#0)")
(definline inline-safe t nil nil caaadr (t)
"caaadr(#0)")
(definline inline-safe t nil nil caadar (t)
"caadar(#0)")
(definline inline-safe t nil nil caaddr (t)
"caaddr(#0)")
(definline inline-safe t nil nil cadaar (t)
"cadaar(#0)")
(definline inline-safe t nil nil cadadr (t)
"cadadr(#0)")
(definline inline-safe t nil nil caddar (t)
"caddar(#0)")
(definline inline-safe t nil nil cadddr (t)
"cadddr(#0)")
(definline inline-safe t nil nil cdaaar (t)
"cdaaar(#0)")
(definline inline-safe t nil nil cdaadr (t)
"cdaadr(#0)")
(definline inline-safe t nil nil cdadar (t)
"cdadar(#0)")
(definline inline-safe t nil nil cdaddr (t)
"cdaddr(#0)")
(definline inline-safe t nil nil cddaar (t)
"cddaar(#0)")
(definline inline-safe t nil nil cddadr (t)
"cddadr(#0)")
(definline inline-safe t nil nil cdddar (t)
"cdddar(#0)")
(definline inline-safe t nil nil cddddr (t)
"cddddr(#0)")
(definline inline-safe t nil nil first (t)
"car(#0)")
(definline inline-safe t nil nil second (t)
"cadr(#0)")
(definline inline-safe t nil nil third (t)
"caddr(#0)")
(definline inline-safe t nil nil fourth (t)
"cadddr(#0)")
(definline inline-safe t nil nil rest (t)
"cdr(#0)")
(definline inline-unsafe t nil nil car (t)
"CMPcar(#0)")
(definline inline-unsafe t nil nil cdr (t)
"CMPcdr(#0)")
(definline inline-unsafe t nil nil caar (t)
"CMPcaar(#0)")
(definline inline-unsafe t nil nil cadr (t)
"CMPcadr(#0)")
(definline inline-unsafe t nil nil cdar (t)
"CMPcdar(#0)")
(definline inline-unsafe t nil nil cddr (t)
"CMPcddr(#0)")
(definline inline-unsafe t nil nil caaar (t)
"CMPcaaar(#0)")
(definline inline-unsafe t nil nil caadr (t)
"CMPcaadr(#0)")
(definline inline-unsafe t nil nil cadar (t)
"CMPcadar(#0)")
(definline inline-unsafe t nil nil caddr (t)
"CMPcaddr(#0)")
(definline inline-unsafe t nil nil cdaar (t)
"CMPcdaar(#0)")
(definline inline-unsafe t nil nil cdadr (t)
"CMPcdadr(#0)")
(definline inline-unsafe t nil nil cddar (t)
"CMPcddar(#0)")
(definline inline-unsafe t nil nil cdddr (t)
"CMPcdddr(#0)")
(definline inline-unsafe t nil nil caaaar (t)
"CMPcaaaar(#0)")
(definline inline-unsafe t nil nil caaadr (t)
"CMPcaaadr(#0)")
(definline inline-unsafe t nil nil caadar (t)
"CMPcaadar(#0)")
(definline inline-unsafe t nil nil caaddr (t)
"CMPcaaddr(#0)")
(definline inline-unsafe t nil nil cadaar (t)
"CMPcadaar(#0)")
(definline inline-unsafe t nil nil cadadr (t)
"CMPcadadr(#0)")
(definline inline-unsafe t nil nil caddar (t)
"CMPcaddar(#0)")
(definline inline-unsafe t nil nil cadddr (t)
"CMPcadddr(#0)")
(definline inline-unsafe t nil nil cdaaar (t)
"CMPcdaaar(#0)")
(definline inline-unsafe t nil nil cdaadr (t)
"CMPcdaadr(#0)")
(definline inline-unsafe t nil nil cdadar (t)
"CMPcdadar(#0)")
(definline inline-unsafe t nil nil cdaddr (t)
"CMPcdaddr(#0)")
(definline inline-unsafe t nil nil cddaar (t)
"CMPcddaar(#0)")
(definline inline-unsafe t nil nil cddadr (t)
"CMPcddadr(#0)")
(definline inline-unsafe t nil nil cdddar (t)
"CMPcdddar(#0)")
(definline inline-unsafe t nil nil cddddr (t)
"CMPcddddr(#0)")
(definline inline-unsafe t nil nil first (t)
"CMPcar(#0)")
(definline inline-unsafe t nil nil second (t)
"CMPcadr(#0)")
(definline inline-unsafe t nil nil third (t)
"CMPcaddr(#0)")
(definline inline-unsafe t nil nil fourth (t)
"CMPcadddr(#0)")
(definline inline-unsafe t nil nil rest (t)
"CMPcdr(#0)")
(definline inline-always t nil nil nth (t t)
"nth(fixint(#0),#1)")
(definline inline-always t nil nil nthcdr (t t)
"nthcdr(fixint(#0),#1)")
(definline inline-unsafe t nil nil nth (t t)
"nth(fix(#0),#1)")
(definline inline-unsafe t nil nil nthcdr (t t)
"nthcdr(fix(#0),#1)")
(definline inline-always t nil nil nth (fixnum t)
"nth(#0,#1)")
(definline inline-always t nil nil nthcdr (fixnum t)
"nthcdr(#0,#1)")
(definline inline-always t nil t cons (t t)
"make_cons(#0,#1)")
(definline inline-always t nil nil list nil "Cnil")
(definline inline-always t nil t list (t) "make_cons(#0,Cnil)")
(definline inline-always t nil t list (t t) list-inline)
(definline inline-always t nil t list (t t t) list-inline)
(definline inline-always t nil t list (t t t t) list-inline)
(definline inline-always t nil t list (t t t t t) list-inline)
(definline inline-always t nil t list (t t t t t t) list-inline)
(definline inline-always t nil t list (t t t t t t t) list-inline)
(definline inline-always t nil t list (t t t t t t t t) list-inline)
(definline inline-always t nil t list (t t t t t t t t t) list-inline)
(definline inline-always t nil t list (t t t t t t t t t t) list-inline)
(definline inline-always t nil nil list* (t) "#0")
(definline inline-always t nil t list* (t t) "make_cons(#0,#1)")
(definline inline-always t nil t list* (t t t) list*-inline)
(definline inline-always t nil t list* (t t t t) list*-inline)
(definline inline-always t nil t list* (t t t t t) list*-inline)
(definline inline-always t nil t list* (t t t t t t) list*-inline)
(definline inline-always t nil t list* (t t t t t t t) list*-inline)
(definline inline-always t nil t list* (t t t t t t t t) list*-inline)
(definline inline-always t nil t list* (t t t t t t t t t) list*-inline)
(definline inline-always t nil t list* (t t t t t t t t t t) list*-inline)
(definline inline-always t nil t append (t t)
"append(#0,#1)")
(definline inline-always t t nil nconc (t t)
"nconc(#0,#1)")
(definline inline-always t nil t reverse (t)
"reverse(#0)")
(definline inline-always t t t nreverse (t)
"nreverse(#0)")
(definline inline-always fixnum nil nil length (t)
"length(#0)")
;;;; plist
(definline inline-always t nil nil get (t t t)
"get(#0,#1,#2)")
(definline inline-always t nil nil get (t t)
"get(#0,#1,Cnil)")
(definline inline-always t t nil si:putprop (t t t)
"putprop(#0,#1,#2)")
(definline inline-always t t nil remprop (t t)
"remprop(#0,#1)")
;;;; array and sequence
;; svref, char, schar, elt
; safe
(definline inline-always t nil t svref (t t)
"aref1(#0,fixint(#1))")
(definline inline-always t nil t char (t t)
"elt(#0,fixint(#1))")
(definline inline-always t nil t schar (t t)
"elt(#0,fixint(#1))")
(definline inline-always t nil t elt (t t)
"elt(#0,fixint(#1))")
; safe, fixnum index
(definline inline-always t nil t svref (t fixnum)
"aref1(#0,#1)")
(definline inline-always t nil t char (t fixnum)
"elt(#0,#1)")
(definline inline-always t nil t schar (t fixnum)
"elt(#0,#1)")
(definline inline-always t nil t elt (t fixnum)
"elt(#0,#1)")
; unsafe
(definline inline-unsafe t nil nil svref (t t)
"(#0)->v.v_self[fix(#1)]")
(definline inline-unsafe t nil nil char (t t)
"code_char((#0)->ust.ust_self[fix(#1)])")
(definline inline-unsafe t nil nil schar (t t)
"code_char((#0)->ust.ust_self[fix(#1)])")
(definline inline-unsafe t nil t elt (t t)
"elt(#0,fix(#1))")
; unsafe, type specified, fixnum index
(definline inline-unsafe t nil nil svref (t fixnum)
"(#0)->v.v_self[#1]")
(definline inline-unsafe character nil nil char (t fixnum)
"(#0)->ust.ust_self[#1]")
(definline inline-unsafe character nil nil schar (t fixnum)
"(#0)->ust.ust_self[#1]")
;; si:svset, si:char-set, si:schar-set, si:elt-set
; safe
(definline inline-always t t nil si:svset (t t t)
"aset1(#0,fixint(#1),#2)")
(definline inline-always t t nil si:char-set (t t t)
"elt_set(#0,fixint(#1),#2)")
(definline inline-always t t nil si:schar-set (t t t)
"elt_set(#0,fixint(#1),#2)")
(definline inline-always t t nil si:elt-set (t t t)
"elt_set(#0,fixint(#1),#2)")
; safe, fixnum index
(definline inline-always t t nil si:svset (t fixnum t)
"aset1(#0,#1,#2)")
(definline inline-always t t nil si:char-set (t fixnum t)
"elt_set(#0,#1,#2)")
(definline inline-always t t nil si:schar-set (t fixnum t)
"elt_set(#0,#1,#2)")
(definline inline-always t t nil si:elt-set (t fixnum t)
"elt_set(#0,#1,#2)")
; unsafe
(definline inline-unsafe t t nil si:svset (t t t)
"((#0)->v.v_self[fix(#1)]=(#2))")
(definline inline-unsafe t t nil si:char-set (t t t)
"((#0)->ust.ust_self[fix(#1)]=char_code(#2),(#2))")
(definline inline-unsafe t t nil si:schar-set (t t t)
"((#0)->ust.ust_self[fix(#1)]=char_code(#2),(#2))")
(definline inline-unsafe t t nil si:elt-set (t t t)
"elt_set(#0,fix(#1),#2)")
; unsafe, type specified, fixnum index
(definline inline-unsafe t t nil si:svset (t fixnum t)
"(#0)->v.v_self[#1]= #2")
(definline inline-unsafe character t nil si:char-set (t fixnum character)
"(#0)->ust.ust_self[#1]= #2")
(definline inline-unsafe character t nil si:schar-set(t fixnum character)
"(#0)->ust.ust_self[#1]= #2")
;; aref, one index
; safe
(definline inline-always t nil t aref (t t)
"aref1(#0,fixint(#1))")
; unsafe
(definline inline-unsafe t nil t aref (t t)
"aref1(#0,fix(#1))")
; safe, fixnum index
(definline inline-always t nil t aref (t fixnum)
"aref1(#0,#1)")
; unsafe, type specified, fixnum index
(definline inline-unsafe t nil nil aref ((array t) fixnum)
"(#0)->v.v_self[#1]")
(definline inline-unsafe character nil nil aref ((array string-char) fixnum)
"(#0)->ust.ust_self[#1]")
(definline inline-unsafe fixnum nil nil aref ((array fixnum) fixnum)
"(#0)->fixa.fixa_self[#1]")
(definline inline-unsafe short-float nil nil aref ((array short-float) fixnum)
"(#0)->sfa.sfa_self[#1]")
(definline inline-unsafe long-float nil nil aref ((array long-float) fixnum)
"(#0)->lfa.lfa_self[#1]")
;; aref, two indices
; unsafe
(definline inline-unsafe t nil t aref (t t t)
"aref(#0,fix(#1)*(#0)->a.a_dims[1]+fix(#2))")
; unsafe, type spesified, fixnum index
(definline inline-unsafe t nil nil aref ((array t) fixnum fixnum)
"(#0)->a.a_self[#1*(#0)->a.a_dims[1]+#2]")
(definline inline-unsafe character nil nil aref
((array string-char) fixnum fixnum)
"(#0)->ust.ust_self[#1*(#0)->a.a_dims[1]+#2]")
(definline inline-unsafe fixnum nil nil aref ((array fixnum) fixnum fixnum)
"(#0)->fixa.fixa_self[#1*(#0)->a.a_dims[1]+#2]")
(definline inline-unsafe short-float nil nil aref
((array short-float) fixnum fixnum)
"(#0)->sfa.sfa_self[#1*(#0)->a.a_dims[1]+#2]")
(definline inline-unsafe long-float nil nil aref
((array long-float) fixnum fixnum)
"(#0)->lfa.lfa_self[#1*(#0)->a.a_dims[1]+#2]")
;; si:aset, one index
; safe
(definline inline-always t t nil si:aset (t t t)
"aset1(#0,fixint(#1),#2)")
; unsafe
(definline inline-unsafe t t nil si:aset (t t t)
"aset1(#0,fix(#1),#2)")
; safe, fixnum index
(definline inline-always t t nil si:aset (t fixnum t)
"aset1(#0,#1,#2)")
; unsafe, type spesified, fixnum indices
(definline inline-unsafe t t nil si:aset ((array t) fixnum t)
"(#0)->v.v_self[#1]= #2")
(definline inline-unsafe character t nil si:aset
((array string-char) fixnum character)
"(#0)->ust.ust_self[#1]= #2")
(definline inline-unsafe fixnum t nil si:aset ((array fixnum) fixnum fixnum)
"(#0)->fixa.fixa_self[#1]= #2")
(definline inline-unsafe short-float t nil si:aset
((array short-float) fixnum short-float)
"(#0)->sfa.sfa_self[#1]= #2")
(definline inline-unsafe long-float t nil si:aset
((array long-float) fixnum long-float)
"(#0)->lfa.lfa_self[#1]= #2")
;; si:aset, two indices
; unsafe
(definline inline-unsafe t t nil si:aset (t t t t)
"aset(#0,fix(#1)*(#0)->a.a_dims[1]+fix(#2),#3)")
; unsafe, type spesified, fixnum indices
(definline inline-unsafe t t nil si:aset ((array t) fixnum fixnum t)
"(#0)->a.a_self[#1*(#0)->a.a_dims[1]+#2]= #3")
(definline inline-unsafe character t nil si:aset
((array string-char) fixnum fixnum character)
"(#0)->ust.ust_self[#1*(#0)->a.a_dims[1]+#2]= #3")
(definline inline-unsafe fixnum t nil si:aset
((array fixnum) fixnum fixnum fixnum)
"(#0)->fixa.fixa_self[#1*(#0)->a.a_dims[1]+#2]= #3")
(definline inline-unsafe short-float t nil si:aset
((array short-float) fixnum fixnum short-float)
"(#0)->sfa.sfa_self[#1*(#0)->a.a_dims[1]+#2]= #3")
(definline inline-unsafe long-float t nil si:aset
((array long-float) fixnum fixnum long-float)
"(#0)->lfa.lfa_self[#1*(#0)->a.a_dims[1]+#2]= #3")
;;;; I/O
(definline inline-always t t nil princ (t t)
"princ(#0,#1)")
(definline inline-always t t nil princ (t)
"princ(#0,Cnil)")
(definline inline-always t t nil prin1 (t t)
"prin1(#0,#1)")
(definline inline-always t t nil prin1 (t)
"prin1(#0,Cnil)")
(definline inline-always t t nil print (t t)
"print(#0,#1)")
(definline inline-always t t nil print (t)
"print(#0,Cnil)")
(definline inline-always t t nil terpri (t)
"terpri(#0)")
(definline inline-always t t nil terpri ()
"terpri(Cnil)")
;;;; arithmetic
; safe, general
(definline inline-always t nil t + (t t)
"number_plus(#0,#1)")
(definline inline-always t nil t 1+ (t)
"one_plus(#0)")
(definline inline-always t nil t - (t)
"number_negate(#0)")
(definline inline-always t nil t - (t t)
"number_minus(#0,#1)")
(definline inline-always t nil t 1- (t)
"one_minus(#0)")
(definline inline-always t nil t * (t t)
"number_times(#0,#1)")
(definline inline-always t nil t expt (t t)
"number_expt(#0,#1)")
; safe, fixnum
(definline inline-always fixnum nil nil 1+ (fixnum)
"(#0)+1")
(definline inline-always fixnum nil nil + (fixnum fixnum)
"(#0)+(#1)")
(definline inline-always fixnum nil nil 1- (fixnum)
"(#0)-1")
(definline inline-always fixnum nil nil - (fixnum fixnum)
"(#0)-(#1)")
(definline inline-always fixnum nil nil - (fixnum)
"-(#0)")
(definline inline-always fixnum nil nil * (fixnum fixnum)
"(#0)*(#1)")
(definline inline-always fixnum nil nil floor (fixnum fixnum)
"(#0>=0&>0?(#0)/(#1):ifloor(#0,#1))")
(definline inline-always fixnum nil nil mod (fixnum fixnum)
"(#0>=0&>0?(#0)%(#1):imod(#0,#1))")
(definline inline-always fixnum nil nil expt (fixnum fixnum)
(lambda (loc1 loc2)
(if (and (consp loc1)
(eq (car loc1) 'FIXNUM-LOC)
(consp (cadr loc1))
(eq (caadr loc1) 'FIXNUM-VALUE)
(equal (caddr (cadr loc1)) 2))
(wt "(1<<(" loc2 "))")
(wt "fixnum_expt(" loc1 #\, loc2 #\) ))))
; safe, fixnum-float, short-float result
(definline inline-always short-float nil nil 1+ (fixnum-float)
"(double)(#0)+1")
(definline inline-always short-float nil nil + (fixnum-float fixnum-float)
"(double)(#0)+(double)(#1)")
(definline inline-always short-float nil nil 1- (fixnum-float)
"(double)(#0)-1")
(definline inline-always short-float nil nil - (fixnum-float fixnum-float)
"(double)(#0)-(double)(#1)")
(definline inline-always short-float nil nil - (fixnum-float)
"-(double)(#0)")
(definline inline-always short-float nil nil * (fixnum-float fixnum-float)
"(double)(#0)*(double)(#1)")
(definline inline-always short-float nil nil / (fixnum-float fixnum-float)
"(double)(#0)/(double)(#1)")
; safe, fixnum-float, long-float result
(definline inline-always long-float nil nil 1+ (fixnum-float)
"(double)(#0)+1")
(definline inline-always long-float nil nil 1- (fixnum-float)
"(double)(#0)-1")
(definline inline-always long-float nil nil - (fixnum-float)
"-(double)(#0)")
(definline inline-always long-float nil nil + (fixnum-float fixnum-float)
"(double)(#0)+(double)(#1)")
(definline inline-always long-float nil nil - (fixnum-float fixnum-float)
"(double)(#0)-(double)(#1)")
(definline inline-always long-float nil nil * (fixnum-float fixnum-float)
"(double)(#0)*(double)(#1)")
(definline inline-always long-float nil nil / (fixnum-float fixnum-float)
"(double)(#0)/(double)(#1)")
(definline inline-always long-float nil nil sin (long-float)
"sin(#0)")
(definline inline-always long-float nil nil cos (long-float)
"cos(#0)")
(definline inline-always long-float nil nil tan (long-float)
"tan(#0)")
;;;; arithmetic predicates
; safe, general
(definline inline-always boolean nil nil zerop (t)
"number_compare(small_fixnum(0),#0)==0")
(definline inline-always boolean nil nil plusp (t)
"number_compare(small_fixnum(0),#0)<0")
(definline inline-always boolean nil nil minusp (t)
"number_compare(small_fixnum(0),#0)>0")
(definline inline-always boolean nil nil = (t t)
"number_compare(#0,#1)==0")
(definline inline-always boolean nil nil /= (t t)
"number_compare(#0,#1)!=0")
(definline inline-always boolean nil nil < (t t)
"number_compare(#0,#1)<0")
(definline inline-always boolean nil nil > (t t)
"number_compare(#0,#1)>0")
(definline inline-always boolean nil nil <= (t t)
"number_compare(#0,#1)<=0")
(definline inline-always boolean nil nil >= (t t)
"number_compare(#0,#1)>=0")
(definline inline-always t nil nil max (t t)
"(number_compare(#0,#1)>=0?#0:#1)")
(definline inline-always t nil nil min (t t)
"(number_compare(#0,#1)<=0?#0:#1)")
; safe, typed
(definline inline-always boolean nil nil zerop (fixnum-float)
"(#0)==0")
(definline inline-always boolean nil nil plusp (fixnum-float)
"(#0)>0")
(definline inline-always boolean nil nil minusp (fixnum-float)
"(#0)<0")
(definline inline-always boolean nil nil = (fixnum-float fixnum-float)
"(#0)==(#1)")
(definline inline-always boolean nil nil /= (fixnum-float fixnum-float)
"(#0)!=(#1)")
(definline inline-always boolean nil nil < (fixnum-float fixnum-float)
"(#0)<(#1)")
(definline inline-always boolean nil nil <= (fixnum-float fixnum-float)
"(#0)<=(#1)")
(definline inline-always boolean nil nil > (fixnum-float fixnum-float)
"(#0)>(#1)")
(definline inline-always boolean nil nil >= (fixnum-float fixnum-float)
"(#0)>=(#1)")
(definline inline-always fixnum nil nil max (fixnum fixnum)
"(#0)>=(#1)?#0:#1")
(definline inline-always fixnum nil nil min (fixnum fixnum)
"(#0)<=(#1)?#0:#1")
;;;; character predicates
; safe, general
(definline inline-unsafe boolean nil nil char= (t t)
"eql(#0,#1)")
(definline inline-unsafe boolean nil nil char/= (t t)
"!eql(#0,#1)")
; unsafe, general
(definline inline-unsafe boolean nil nil char= (t t)
"char_code(#0)==char_code(#1)")
(definline inline-unsafe boolean nil nil char/= (t t)
"char_code(#0)!=char_code(#1)")
; safe, typed
(definline inline-always boolean nil nil char= (character character)
"(#0)==(#1)")
(definline inline-always boolean nil nil char/= (character character)
"(#0)!=(#1)")
(definline inline-always boolean nil nil char< (character character)
"(#0)<(#1)")
(definline inline-always boolean nil nil char<= (character character)
"(#0)<=(#1)")
(definline inline-always boolean nil nil char> (character character)
"(#0)>(#1)")
(definline inline-always boolean nil nil char>= (character character)
"(#0)>=(#1)")